Browsing by Author "Kokkinofta, E."
Now showing items 1-1 of 1
-
Article
Type checking purpose-based privacy policies in the π-calculus
Kokkinofta, E.; Philippou, Anna (2016)In this paper we propose a formal framework for studying privacy preserving policies based on the notion of purpose. Our framework employs the π-calculus with groups accompanied by a type system for capturing privacy ...